Polynomial-time solvable #CSP problems via algebraic models and Pfaffian circuits
نویسندگان
چکیده
منابع مشابه
Polynomial-time Solvable #CSP Problems via Algebraic Models and Pfaffian Circuits
A Pfaffian circuit is a tensor contraction network where the edges are labeled with basis changes in such a way that a very specific set of combinatorial properties is satisfied. By modeling the permissible basis changes as systems of polynomial equations, and then solving via computation, we are able to identify classes of 0/1 planar #CSP problems solvable in polynomial time via the Pfaffian c...
متن کاملTwo Polynomial Time Solvable Multicommodity Flow Problems
The multicommodity flow problem is NP-hard already for two commodities over bipartite graphs. Nonetheless, using our recent theory of n-fold integer programming and extensions developed herein, we are able to establish the surprising polynomial time solvability of the problem in two broad situations.
متن کاملA Class of Linear Complementarity Problems Solvable in Polynomial Time
We describe a “condition” number for the linear complementarity problem (LCP), which characterizes the degree of difficulty for its solution when a potential reduction algorithm is used. Consequently, we develop a class of LCPs solvable in polynomial time. The result suggests that the convexity (or positive semidefiniteness) of the LCP may not be the basic issue that separates LCPs solvable and...
متن کاملPfaffian Circuits
It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by “lifting” Boolean functions to linear operators and evaluating their composition cleverly. Holographic algorithms provide a useful avenue for exploring this question. We describe a new, simplified construction of holograph...
متن کاملA Polynomial Time Algorithm for Recognizing Near-Bipartite Pfaffian Graphs
A matching covered graph is a nontrivial connected graph in which every edge is in some perfect matching. A matching covered graph G is near-bipartite if it is nonbipartite and there is a removable double ear R such that G−R is matching covered and bipartite. In 2000, C. Little and I. Fischer characterized Pfaffian near-bipartite graphs in terms of forbidden subgraphs [3]. However, their charac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2016
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2015.06.008